Irodov 3.7 Solution